#!/bin/bash

echo -D Trilinos_NO_64BIT_GLOBAL_INDICES:BOOL=$1
